Function model

Results: 1865



#Item
491Computational complexity theory / Quantum information science / Analysis of algorithms / Property testing / Quantum algorithm / Decision tree model / Monotonic function / FO / Big O notation / Theoretical computer science / Mathematics / Applied mathematics

Quantum Algorithm for Monotonicity Testing on the Hypercube Aleksandrs Belovs ∗ Eric Blais

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2015-03-10 20:22:32
492Interactive kiosk / Kiosk software / Kiosk / Touchscreen / Oakville /  Ontario / Printer / Kiosks / Business / Embedded systems

2333 Wyecroft Rd., Unit 9, Oakville, ON Canada L6L 6L4 www.tyne-engineering.com Tel: (Fax: (Multi-Function Self-Serve Kiosk Model: 7016-K-002

Add to Reading List

Source URL: www.kiosko.com

Language: English - Date: 2007-01-08 11:43:05
493Model theory / Logic programming / Predicate logic / Functions and mappings / Answer set programming / Stable model semantics / First-order logic / Function / Modal logic / Logic / Mathematical logic / Mathematics

Answer Set Programming with Functions

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2008-06-17 04:53:47
494Model checking / Thread / Monotonic function / Abstraction / Mathematical analysis / Concurrent computing / Computing

Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It

Add to Reading List

Source URL: www.cprover.org

Language: English - Date: 2014-06-22 11:48:59
495Hashing / Relational model / Query languages / Database theory / Relational database / Rsync / Hash function / Cksum / Checksum / Computing / Data management / Software

Remote Comparison of Database Tables Technical Report A/375/CRI Fabien Coelho ´ Centre de Recherche en Informatique, Ecole

Add to Reading List

Source URL: cri.ensmp.fr

Language: English - Date: 2006-02-06 04:59:56
496Grammar / Mathematical logic / Model theory / Predicate logic / Interpretation / Philosophy of language / Quantification / Function / Predicate / Semantics / Logic / Linguistics

On wh-exclamatives and noteworthiness? Anna Chernilovskaya and Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek 1

Add to Reading List

Source URL: ricknouwen.org

Language: English - Date: 2012-02-06 05:04:07
497Cobb–Douglas production function / Mathematical analysis / Constant elasticity of substitution / Production function / Neoclassical growth model / Economic model / Maximum likelihood / Exponential function / Wassily Leontief / Utility / Economics / Microeconomics

DP RIETI Discussion Paper Series 15-E-040 On the Stochastic Macro-equilibrium and a Microfoundation for the Production Function

Add to Reading List

Source URL: www.rieti.go.jp

Language: English - Date: 2015-04-02 20:39:42
498Macroeconomics / Ethics / Cobb–Douglas production function / Constant elasticity of substitution / Labour economics / Economic growth / Economic model / General equilibrium theory / Macro / Economics / Utility / Microeconomics

Microsoft Word - MACRO_Draft.doc

Add to Reading List

Source URL: www.iea-etsap.org

Language: English - Date: 2010-11-09 05:58:58
499Social welfare function / Utility / Gross domestic product / Microeconomics / State space / Economic model / Marginal utility / Economics / Ethology / Welfare economics / Consumer theory / Social choice theory

Comparaisons globales de bientre.

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2010-10-27 04:44:13
500Computational complexity theory / Quantum information science / Communication / Communication complexity / Quantum complexity theory / Parity function / Entropy / Circuit complexity / Decision tree model / Theoretical computer science / Applied mathematics / Mathematics

The non-adaptive query complexity of testing k-parities

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-07-24 10:17:39
UPDATE